Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 4 /4
978-3-540-37188-5
Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Continue reading
978-3-540-85928-4
Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, ...

Continue reading
978-3-540-73228-0
Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...

Continue reading
978-3-540-68103-8
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Continue reading
Total Books: 1 - 4 /4